去背素材 abstract interpretation標籤